7th edition of CASH paper presentation will be on April 10 at 9:30 Salle de réunion M7 3ème étage Program: Laure Gonnord: “Relational Program Reasoning” based on: Relational Program Reasoning Using Compiler IR VSTTE 2016, Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich De Angelis, E., Fioravanti, F., Pettorossi, A., Proietti, M.: Relational verification through Horn clause … Continue reading 7th Cash reading group: 10/4 at 9:30